package simplytypeddebruijn


trait PrettyPrinter { self: PrettyPrinter with AbstractSyntax =>
   def prettyPrint(t:LTerm):String
}